Kibit와 clojure.core.logic

예전에 정적 해석 도구인 키비트를 봤으면 코어.logic를 사용했기 때문에 어떻게 사용했는지. 논리 프로그래밍 언어는 규칙을 선언적으로 제정하고 해역하는 데 전문적으로 쓰이는 언어다. 나는 Proog라는 언어가 매우 유명하다고 생각한다. 그리고 코어.logic는 Scheme의 논리 프로그램 설계 DSL이고 미니 Kanren의 Clojure가 실현한다. core.나는 다른 logic의 실용적인...

Clojure논리 프로그래밍tech